Contents
- State <S, A> (Func<S, (A Value, S State)> runState)
- Pure (A value)
- Modify (Func<S, S> f)
- Put (S value)
- Get
- Gets (Func<S, A> f)
- GetsM (Func<S, State<S, A>> f)
- Lift (Pure<A> monad)
- Lift (Func<A> f)
- Map <B> (Func<A, B> f)
- Select <B> (Func<A, B> f)
- Bind <B> (Func<A, K<State<S>, B>> f)
- Bind <B> (Func<A, State<S, B>> f)
- Bind <B> (Func<A, Gets<S, B>> f)
- Bind (Func<A, Put<S>> f)
- Bind (Func<A, Modify<S>> f)
- SelectMany <B, C> (Func<A, K<State<S>, B>> bind, Func<A, B, C> project)
- SelectMany <B, C> (Func<A, State<S, B>> bind, Func<A, B, C> project)
- SelectMany <B, C> (Func<A, Pure<B>> bind, Func<A, B, C> project)
- SelectMany <C> (Func<A, Put<S>> bind, Func<A, Unit, C> project)
- SelectMany <B, C> (Func<A, Gets<S, B>> bind, Func<A, B, C> project)
- SelectMany <C> (Func<A, Modify<S>> bind, Func<A, Unit, C> project)
- >> (State<S, A> lhs, State<S, A> rhs)
- >> (State<S, A> lhs, K<State<S>, A> rhs)
- >> (State<S, A> lhs, State<S, Unit> rhs)
- >> (State<S, A> lhs, K<State<S>, Unit> rhs)
- Run (S state)
- State <S>
- State
Sub modules
| Extensions |
| Operators |
| Trait |
record State <S, A> (Func<S, (A Value, S State)> runState) Source #
State monad transformer, which adds a modifiable state to a given monad.
Parameters
| type | S | State type |
| type | M | Given monad trait |
| type | A | Bound value type |
Properties
Methods
method State<S, A> Pure (A value) Source #
Lift a pure value into the monad-transformer
Parameters
| param | value | Value to lift |
| returns |
| |
method State<S, Unit> Modify (Func<S, S> f) Source #
Extracts the state value, maps it, and then puts it back into the monadic state.
Parameters
| param | f | State mapping function |
| returns |
| |
method State<S, Unit> Put (S value) Source #
Writes the value into the monadic state
Parameters
| returns |
| |
method State<S, A> Gets (Func<S, A> f) Source #
Extracts the state value and maps it to the bound value
Parameters
| param | f | State mapping function |
| returns |
| |
method State<S, A> GetsM (Func<S, State<S, A>> f) Source #
Extracts the state value and maps it to the bound value
Parameters
| param | f | State mapping function |
| returns |
| |
method State<S, A> Lift (Pure<A> monad) Source #
Lifts a given monad into the transformer
Parameters
| param | monad | Monad to lift |
| returns |
| |
method State<S, A> Lift (Func<A> f) Source #
Lifts a function into the transformer
Parameters
| param | f | Function to lift |
| returns |
| |
method State<S, B> Map <B> (Func<A, B> f) Source #
Maps the bound value
Parameters
| type | B | Target bound value type |
| param | f | Mapping function |
| returns |
| |
method State<S, B> Select <B> (Func<A, B> f) Source #
Maps the bound value
Parameters
| type | B | Target bound value type |
| param | f | Mapping transducer |
| returns |
| |
method State<S, B> Bind <B> (Func<A, K<State<S>, B>> f) Source #
Monad bind operation
Parameters
| type | B | Target bound value type |
| param | f | Mapping function |
| returns |
| |
method State<S, B> Bind <B> (Func<A, State<S, B>> f) Source #
Monad bind operation
Parameters
| type | B | Target bound value type |
| param | f | Mapping function |
| returns |
| |
method State<S, B> Bind <B> (Func<A, Gets<S, B>> f) Source #
Monad bind operation
Parameters
| type | B | Target bound value type |
| param | f | Mapping function |
| returns |
| |
method State<S, Unit> Bind (Func<A, Put<S>> f) Source #
Monad bind operation
Parameters
| type | B | Target bound value type |
| param | f | Mapping function |
| returns |
| |
method State<S, Unit> Bind (Func<A, Modify<S>> f) Source #
Monad bind operation
Parameters
| type | B | Target bound value type |
| param | f | Mapping function |
| returns |
| |
method State<S, C> SelectMany <B, C> (Func<A, K<State<S>, B>> bind, Func<A, B, C> project) Source #
Monad bind operation
Parameters
| type | B | Intermediate bound value type |
| type | C | Target bound value type |
| param | bind | Monadic bind function |
| param | project | Projection function |
| returns |
| |
method State<S, C> SelectMany <B, C> (Func<A, State<S, B>> bind, Func<A, B, C> project) Source #
Monad bind operation
Parameters
| type | B | Intermediate bound value type |
| type | C | Target bound value type |
| param | bind | Monadic bind function |
| param | project | Projection function |
| returns |
| |
method State<S, C> SelectMany <B, C> (Func<A, Pure<B>> bind, Func<A, B, C> project) Source #
Monad bind operation
Parameters
| type | B | Intermediate bound value type |
| type | C | Target bound value type |
| param | bind | Monadic bind function |
| param | project | Projection function |
| returns |
| |
method State<S, C> SelectMany <C> (Func<A, Put<S>> bind, Func<A, Unit, C> project) Source #
Monad bind operation
Parameters
| type | B | Intermediate bound value type |
| type | C | Target bound value type |
| param | bind | Monadic bind function |
| param | project | Projection function |
| returns |
| |
method State<S, C> SelectMany <B, C> (Func<A, Gets<S, B>> bind, Func<A, B, C> project) Source #
Monad bind operation
Parameters
| type | B | Intermediate bound value type |
| type | C | Target bound value type |
| param | bind | Monadic bind function |
| param | project | Projection function |
| returns |
| |
method State<S, C> SelectMany <C> (Func<A, Modify<S>> bind, Func<A, Unit, C> project) Source #
Monad bind operation
Parameters
| type | B | Intermediate bound value type |
| type | C | Target bound value type |
| param | bind | Monadic bind function |
| param | project | Projection function |
| returns |
| |
Operators
Methods